type projection
型投影
https://dotty.epfl.ch/docs/reference/dropped-features/type-projection.html
scala
https://typealias.com/concepts/type-projection/
kotlin
https://maku77.github.io/kotlin/generics/variant.html
kotlin
カタカナ
variance
周りの概念